Перевод: с испанского на английский

с английского на испанский

variable logic

  • 1 lógica

    f.
    logic, method, logicality.
    * * *
    1 logic
    \
    lógica matemática mathematical logic
    * * *
    1. noun f. 2. f., (m. - lógico)
    * * *

    lógica borrosa, lógica difusa — fuzzy logic

    lógico
    * * *
    a) ( coherencia) logic
    b) (Fil) logic
    * * *
    = logic, ratio decidendi, reasonability.
    Ex. For example, class R Philosophy is first divided into such canonical divisions as Logic, Epistemology, Metaphysics, Ethics and Aesthetics.
    Ex. An online search of the WESTLAW and LEXIS databases, and examination of numerous cases with potential precedential value found the many dicta in judicial opinions to differ among jurisdictions, and found no ratio decidendi at all.
    Ex. A major objective of this project was also to demonstrate both the possibility and the reasonability of using handheld technology = Además, uno de los principales objetivos de este proyecto fue demostrar la posibilidad y la conveniencia de utilizar tecnología portátil para simplificar y normalizar el proceso de recogida de datos.
    ----
    * base de datos de lógica difusa = fuzzy database.
    * conjunto aleatorio de lógica difusa = random fuzzy set.
    * conjunto de lógica difusa = fuzzy set.
    * conjuntos de lógica difusa = fuzzy clustering.
    * especialista en la lógica = logician.
    * lógica booleana = Boolean logic.
    * lógica borrosa = fuzzy logic.
    * lógica contextual = contextual logic.
    * lógica de búsqueda = search logic.
    * lógica de búsqueda por ponderación = weighted-term search logic.
    * lógica de términos ponderados = weighted term logic.
    * lógica difusa = fuzzy logic.
    * lógica imprecisa = fuzzy logic.
    * lógica matemática = mathematical logic.
    * lógica modal = modal logic.
    * lógica simbólica = symbolic logic.
    * modelo de lógica difusa = fuzzy model.
    * operador de lógica booleana = Boolean logic operator.
    * procesador de lógica difusa = fuzzy query processor.
    * recuperación de información de lógica difusa = fuzzy data retrieval.
    * señal lógica = logical signal.
    * sin lógica ni explicación = without rhyme or reason.
    * sistema de lógica difusa = fuzzy system.
    * suma lógica = logical sum.
    * técnica de recuperación por medio de la lógica difusa = fuzzy IR technique.
    * variable aleatoria de lógica difusa = fuzzy random variable.
    * * *
    a) ( coherencia) logic
    b) (Fil) logic
    * * *
    = logic, ratio decidendi, reasonability.

    Ex: For example, class R Philosophy is first divided into such canonical divisions as Logic, Epistemology, Metaphysics, Ethics and Aesthetics.

    Ex: An online search of the WESTLAW and LEXIS databases, and examination of numerous cases with potential precedential value found the many dicta in judicial opinions to differ among jurisdictions, and found no ratio decidendi at all.
    Ex: A major objective of this project was also to demonstrate both the possibility and the reasonability of using handheld technology = Además, uno de los principales objetivos de este proyecto fue demostrar la posibilidad y la conveniencia de utilizar tecnología portátil para simplificar y normalizar el proceso de recogida de datos.
    * base de datos de lógica difusa = fuzzy database.
    * conjunto aleatorio de lógica difusa = random fuzzy set.
    * conjunto de lógica difusa = fuzzy set.
    * conjuntos de lógica difusa = fuzzy clustering.
    * especialista en la lógica = logician.
    * lógica booleana = Boolean logic.
    * lógica borrosa = fuzzy logic.
    * lógica contextual = contextual logic.
    * lógica de búsqueda = search logic.
    * lógica de búsqueda por ponderación = weighted-term search logic.
    * lógica de términos ponderados = weighted term logic.
    * lógica difusa = fuzzy logic.
    * lógica imprecisa = fuzzy logic.
    * lógica matemática = mathematical logic.
    * lógica modal = modal logic.
    * lógica simbólica = symbolic logic.
    * modelo de lógica difusa = fuzzy model.
    * operador de lógica booleana = Boolean logic operator.
    * procesador de lógica difusa = fuzzy query processor.
    * recuperación de información de lógica difusa = fuzzy data retrieval.
    * señal lógica = logical signal.
    * sin lógica ni explicación = without rhyme or reason.
    * sistema de lógica difusa = fuzzy system.
    * suma lógica = logical sum.
    * técnica de recuperación por medio de la lógica difusa = fuzzy IR technique.
    * variable aleatoria de lógica difusa = fuzzy random variable.

    * * *
    1 (coherencia) logic
    lo que hizo carece de toda lógica there was no logic to what she did, what she did was completely illogical
    2 ( Fil) logic
    Compuestos:
    mathematical logic
    formal o symbolic logic
    * * *

    lógica sustantivo femenino
    logic
    lógico,-a adjetivo logical: es lógico que te enfades, it's natural for you to get angry
    lógica sustantivo femenino logic: está fuera de toda lógica, it's completely illogical
    ' lógica' also found in these entries:
    Spanish:
    sentida
    - sentido
    - aplastante
    - encontrar
    English:
    add up
    - logic
    - rationale
    - hold
    * * *
    1. [ciencia] logic
    Informát lógica booleana Boolean logic; Informát lógica borrosa fuzzy logic; Informát lógica difusa fuzzy logic;
    lógica matemática mathematical logic
    2. [coherencia] logic;
    por lógica obviously;
    tener lógica to make sense;
    eso no tiene lógica that doesn't make any sense
    * * *
    f logic
    * * *
    : logic
    * * *
    lógica n logic

    Spanish-English dictionary > lógica

  • 2 utilizar

    v.
    1 to use.
    El cartero utiliza un saco The mailman uses a sack.
    El traidor utilizó a su novia The traitor used his girlfriend.
    2 to spend.
    * * *
    1 to use, make use of
    * * *
    verb
    to use, utilize
    * * *
    VT
    1) (=usar) to use, make use of, utilize frm

    ¿qué medio de transporte utilizas? — which means of transport do you use?

    2) (=explotar) [+ recursos] to harness; [+ desperdicios] to reclaim
    * * *
    verbo transitivo to use, utilize (frml)
    * * *
    = adopt, deploy, employ, enlist, exploit, handle, harness, help + Reflexivo, rely on/upon, take in + use, tap, use, utilise [utilize, -USA], find + Posesivo + way (a)round/through + Complemento, draw on/upon, bring to + bear, build on/upon, make + use of, leverage, mobilise [mobilize, -USA], play + Nombre + along.
    Ex. The concept of corporate authorship was first formulated in the BM code and has been adopted in all subsequent English language codes.
    Ex. The article presents the results of trials in which the model was deployed to classify aspects of the construction industry, such as construction norms and regulations.
    Ex. The size of the collections in which the LCC is currently employed is likely to be a significant factor in its perpetuation.
    Ex. Capital letters, and various punctuation symbols eg:,(),' may be enlisted as facet indicators.
    Ex. The Library of Congress List of Subject Headings (LCSH) can be exploited as a general index, since it shows LCC numbers for many of the headings listed.
    Ex. An author's name is usually shorter than a title, and thus is arguably easier to handle and remember.
    Ex. When computers were first harnessed for information retrieval and cataloguing applications, the information retrieval systems, and some of the cataloguing systems developed in different environments.
    Ex. There was a need for more basic information materials, i.e. laymen's guides, so that people could help themselves.
    Ex. When BNB began publication in 1950 it relied upon the fourteenth edition of DC.
    Ex. The last 3 years while grants were available saw a rise in loans, readers and outreach services, a controversial stock revision and scrapping were carried out and a PC was taken in use.
    Ex. It must be pointed out, however, that the potential for online catalogs to increase library staff productivity has hardly been tapped.
    Ex. A study of bibliographic classification could concentrate solely upon the major, and some of the more minor bibliographic classification schemes used today.
    Ex. Clearly both tools record controlled indexing languages, but they are utilised in different environments.
    Ex. Those familiar with conventional lists of subject headings will have no difficulty in finding their way around a typical thesaurus.
    Ex. Bay's essay was produced to commemorate the 400th anniversary of Gesner's birth and draws upon a mass of contemporary source material.
    Ex. For such a task the librarian is particularly well fitted by his professional education: bringing to bear the great analytical power of classification should be second nature to him.
    Ex. The system should build on existing resources, rather than develop expensive new programmes.
    Ex. The example search in figure 8.3 shows how the statements in an online search make use of Boolean logic operators.
    Ex. Information seeking in electronic environments will become a collaboration among end user and various electronic systems such that users leverage their heuristic power and machines leverage algorithmic power.
    Ex. It is time for all librarians to change their attitudes and become involved, to seek funds and mobilise civic organisations and businesses in cooperative efforts.
    Ex. Dennis played her along until she decided to back out at which time he threatened to imprison her unless she paid up $2 million.
    ----
    * confeccionar utilizando un modelo = model.
    * empezar a utilizarse = come into + use.
    * introducción de datos utilizando un teclado = keypunching.
    * persona que utiliza la biblioteca = non-library user.
    * poder utilizarse = be usable.
    * que utiliza el tiempo como variable = time-dependent.
    * que utiliza muchos recursos = resource-intensive.
    * utilizar al máximo = stretch + Nombre + to the limit.
    * utilizar al máximo por medio del ordenador = explode.
    * utilizar el dinero sabiamente = spend + wisely.
    * utilizar el ordenador = operate + computer.
    * utilizar en contra = set against.
    * utilizar la red = go + online.
    * utilizar las ideas de (Alguien) = draw on/upon + Posesivo + ideas.
    * utilizar los conocimientos de Uno = put + Posesivo + knowledge to work.
    * utilizar los recursos del personal propio = insource.
    * utilizar para un fin = put to + purpose.
    * utilizar poco = underutilise/under-utilise [underutilize/under-utilize, -USA].
    * utilizar por primera vez = pioneer.
    * utilizar recursos = mobilise + resources, tap + resources, tap into + resources.
    * utilizarse con demasiada frecuencia = be overworked.
    * utilizarse en = be at home in.
    * utilizar una metodología = employ + methodology.
    * utilizar un terminal = sit at + terminal.
    * volver a utilizar = recapture, reutilise [reutilize, -USA].
    * * *
    verbo transitivo to use, utilize (frml)
    * * *
    = adopt, deploy, employ, enlist, exploit, handle, harness, help + Reflexivo, rely on/upon, take in + use, tap, use, utilise [utilize, -USA], find + Posesivo + way (a)round/through + Complemento, draw on/upon, bring to + bear, build on/upon, make + use of, leverage, mobilise [mobilize, -USA], play + Nombre + along.

    Ex: The concept of corporate authorship was first formulated in the BM code and has been adopted in all subsequent English language codes.

    Ex: The article presents the results of trials in which the model was deployed to classify aspects of the construction industry, such as construction norms and regulations.
    Ex: The size of the collections in which the LCC is currently employed is likely to be a significant factor in its perpetuation.
    Ex: Capital letters, and various punctuation symbols eg:,(),' may be enlisted as facet indicators.
    Ex: The Library of Congress List of Subject Headings (LCSH) can be exploited as a general index, since it shows LCC numbers for many of the headings listed.
    Ex: An author's name is usually shorter than a title, and thus is arguably easier to handle and remember.
    Ex: When computers were first harnessed for information retrieval and cataloguing applications, the information retrieval systems, and some of the cataloguing systems developed in different environments.
    Ex: There was a need for more basic information materials, i.e. laymen's guides, so that people could help themselves.
    Ex: When BNB began publication in 1950 it relied upon the fourteenth edition of DC.
    Ex: The last 3 years while grants were available saw a rise in loans, readers and outreach services, a controversial stock revision and scrapping were carried out and a PC was taken in use.
    Ex: It must be pointed out, however, that the potential for online catalogs to increase library staff productivity has hardly been tapped.
    Ex: A study of bibliographic classification could concentrate solely upon the major, and some of the more minor bibliographic classification schemes used today.
    Ex: Clearly both tools record controlled indexing languages, but they are utilised in different environments.
    Ex: Those familiar with conventional lists of subject headings will have no difficulty in finding their way around a typical thesaurus.
    Ex: Bay's essay was produced to commemorate the 400th anniversary of Gesner's birth and draws upon a mass of contemporary source material.
    Ex: For such a task the librarian is particularly well fitted by his professional education: bringing to bear the great analytical power of classification should be second nature to him.
    Ex: The system should build on existing resources, rather than develop expensive new programmes.
    Ex: The example search in figure 8.3 shows how the statements in an online search make use of Boolean logic operators.
    Ex: Information seeking in electronic environments will become a collaboration among end user and various electronic systems such that users leverage their heuristic power and machines leverage algorithmic power.
    Ex: It is time for all librarians to change their attitudes and become involved, to seek funds and mobilise civic organisations and businesses in cooperative efforts.
    Ex: Dennis played her along until she decided to back out at which time he threatened to imprison her unless she paid up $2 million.
    * confeccionar utilizando un modelo = model.
    * empezar a utilizarse = come into + use.
    * introducción de datos utilizando un teclado = keypunching.
    * persona que utiliza la biblioteca = non-library user.
    * poder utilizarse = be usable.
    * que utiliza el tiempo como variable = time-dependent.
    * que utiliza muchos recursos = resource-intensive.
    * utilizar al máximo = stretch + Nombre + to the limit.
    * utilizar al máximo por medio del ordenador = explode.
    * utilizar el dinero sabiamente = spend + wisely.
    * utilizar el ordenador = operate + computer.
    * utilizar en contra = set against.
    * utilizar la red = go + online.
    * utilizar las ideas de (Alguien) = draw on/upon + Posesivo + ideas.
    * utilizar los conocimientos de Uno = put + Posesivo + knowledge to work.
    * utilizar los recursos del personal propio = insource.
    * utilizar para un fin = put to + purpose.
    * utilizar poco = underutilise/under-utilise [underutilize/under-utilize, -USA].
    * utilizar por primera vez = pioneer.
    * utilizar recursos = mobilise + resources, tap + resources, tap into + resources.
    * utilizarse con demasiada frecuencia = be overworked.
    * utilizarse en = be at home in.
    * utilizar una metodología = employ + methodology.
    * utilizar un terminal = sit at + terminal.
    * volver a utilizar = recapture, reutilise [reutilize, -USA].

    * * *
    utilizar [A4 ]
    vt
    to use, utilize ( frml)
    la principal fuente de energía que utilizan es la solar they rely on o use o utilize solar power as their main source of energy, the main source of energy they employ o use o utilize is solar power
    utilizan los recursos naturales indiscriminadamente they make indiscriminate use of natural resources
    utilizan la religión como instrumento para sus fines they use religion as a means to (achieve) their ends
    no se da cuenta de que la están utilizando she doesn't realize that she's being used
    * * *

     

    utilizar ( conjugate utilizar) verbo transitivo
    to use, utilize (frml)
    utilizar verbo transitivo to use, utilize
    ' utilizar' also found in these entries:
    Spanish:
    emplear
    - explotar
    - manipular
    - servirse
    - terminar
    - usar
    - valerse
    - encanto
    - modelo
    - violento
    English:
    bunk
    - deploy
    - employ
    - exploit
    - idle
    - instruction
    - toilet-train
    - toilet-training
    - unemployed
    - use
    - utilize
    - discriminate
    - harness
    - misuse
    - stone
    - user
    * * *
    1. [expresión, método, producto] to use
    2. [compañero, amigo] to use;
    te está utilizando he's using you
    * * *
    v/t use
    * * *
    utilizar {21} vt
    : to use, to utilize
    * * *
    utilizar vb to use

    Spanish-English dictionary > utilizar

См. также в других словарях:

  • variable logic — programuojamasis loginis grandynas statusas T sritis automatika atitikmenys: angl. programmable logic; programmed logic; variable logic vok. programmierbare Logik, f rus. программируемая логика, f; программируемые логические схемы, f pranc.… …   Automatikos terminų žodynas

  • Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… …   History of philosophy

  • Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… …   Wikipedia

  • variable — (logic) A fundamental notion of modern logic. Intuitively, suppose we have a class of objects about which we might be interested (a domain), and we start with a simple sentence ‘Jane is hungry’. We then strike out mention of Jane, leaving a gap… …   Philosophy dictionary

  • Variable Data Intelligent Postscript Printware — (FreeFlow VI Suite (VIPP)) is an open language from Xerox that enables highest performance output of personalized (variable data) PostScript documents [http://vippsupport.xerox.com/eve VIPP Support Forum] VIPP was originally called XGF and it is… …   Wikipedia

  • logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… …   Universalium

  • Variable (mathématiques) — Pour les articles homonymes, voir variable. En mathématiques et en logique, une variable est un symbole utilisé pour marquer un rôle dans un prédicat, une formule ou un algorithme. Sommaire 1 Notion intuitive de variable …   Wikipédia en Français

  • Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

  • logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… …   Universalium

  • Variable proposicional — En lógica matemática, una variable proposional (también llamada variable sentencial o letra sentencial) es una variable que puede ser verdadera o falsa. Las variables proposicionales son los bloques de construcción básicos de las fórmulas… …   Wikipedia Español

  • logic — The general science of inference. Deductive logic, in which a conclusion follows from a set of premises, is distinguished from inductive logic, which studies the way in which premises may support a conclusion without entailing it. In deductive… …   Philosophy dictionary

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»